00100	(DE LINEMAX (P ALPHA BETA) (COND ((TER P)
00200	(SETQ ALPHAFNS @(
00300	LINEMAX
00400	LINEMAXLIS
00500	LINEMIN
00600	LINEMINLIS
00700	))
00800	
00900		((LAMBDA (W) (COND ((LESSP W (CAR ALPHA)) ALPHA)
01000			((GREATERP W (CAR BETA)) BETA)
01100			(T (CONS W P)))) (IMVAL P)))
01200		(T (LINEMAXLIS (SUCCESSORS P) ALPHA BETA))))
01300	
01400	(DE LINEMAXLIS (U ALPHA BETA) (COND ((NULL U) ALPHA)
01500		(T ((LAMBDA (X) (COND ((GREATERP (CAR X) (CAR BETA)) BETA)
01600				(T (LINEMAXLIS (CDR U) X BETA))))
01700		(LINEMIN (CAR U) ALPHA BETA)))))
01800	
01900	(DE LINEMIN (P ALPHA BETA) (COND ((TER P)
02000		((LAMBDA (W) (COND ((GREATERP W (CAR BETA)) BETA)
02100			((LESSP W (CAR ALPHA)) ALPHA)
02200			(T (CONS W P)))) (IMVAL P)))
02300		(T (LINEMINLIS (SUCCESSORS P) ALPHA BETA))))
02400	
02500	(DE LINEMINLIS (U ALPHA BETA) (COND ((NULL U) BETA)
02600		(T ((LAMBDA (X) (COND ((LESSRP (CAR X) (CAR ALPHA)) ALPHA)
02700				(T (LINEMINLIS (CDR U) ALPHA X))))
02800		(LINEMAX (CAR U) ALPHA BETA)))))